12

Predicate transformers in the context of symbolic modeling of transition systems

Year:
2010
Language:
english
File:
PDF, 115 KB
english, 2010
19

Parametric laser-reception lidar

Year:
1987
Language:
english
File:
PDF, 717 KB
english, 1987
20

Lattice instabilities of cubic NiTi from first principles

Year:
2001
Language:
english
File:
PDF, 132 KB
english, 2001
26

Mon-P89 - Youth's mental health and development of community mental health care services in Ukraine

Year:
1998
Language:
english
File:
PDF, 126 KB
english, 1998
41

Ab initio molecular dynamics simulations of liquid GaAs

Year:
1998
Language:
english
File:
PDF, 468 KB
english, 1998
44

Simulations of liquid semiconductors using quantum forces

Year:
1995
Language:
english
File:
PDF, 333 KB
english, 1995
45

First-principles simulations of liquid ZnTe

Year:
2001
Language:
english
File:
PDF, 269 KB
english, 2001
48

and related materials from first principles

Year:
2001
Language:
english
File:
PDF, 87 KB
english, 2001